1. Algorithmic languages and calculi: IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 Feb. 1997, Alsace, France
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer programming-- Congresses,، Programming languages )Electronic computers(-- Congresses,، Computer algorithms-- Congresses
رده :
QA
76
.
6
.
I1775
1997
2. Algorithms and applications :
پدیدآورنده : Sajal K. Das, Nabendu Chaki, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer algorithms, Congresses.,Embedded computer systems, Congresses.,Computer algorithms.,COMPUTERS-- Programming-- Algorithms.,Embedded computer systems.
رده :
QA76
.
9
.
A43
3. Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979
پدیدآورنده : edited by A.P. Ershov and D.E. Knuth
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Computer algorithms,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
122
4. Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer algorithms-- Congresses,، Programming )Electronic computers(-- Congresses
رده :
QA
9
.
58
.
A43
1981
5. Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979
پدیدآورنده : edited by A.P. Ershov and D.E. Knuth
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Algorithms,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
122
6. Artificial evolution
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Evolutionary programming (Computer science) ; Congresses. ; Genetic algorithms ; Congresses. ;
7. Artificial evolution
پدیدآورنده : / Pierre Collet ... [et al.] (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Evolutionary programming (Computer science), Congresses,Genetic algorithms, Congresses,Evolutionary computation, Congresses
رده :
QA76
.
618
.
E2
2010
8. Artificial evolution :
پدیدآورنده : Evelyne Lutton, Pierrick Legrand, Pierre Parrend, Nicolas Monmarché, Marc Schoenauer (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Evolutionary computation, Congresses.,Evolutionary programming (Computer science), Congresses.,Algorithms & data structures.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Evolutionary computation.,Evolutionary programming (Computer science),Mathematical theory of computation.,Maths for computer scientists.
رده :
QA76
.
618
9. Artificial evolution
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Evolutionary programming (Computer science) ; Congresses. ; Genetic algorithms ; Congresses. ; K?nstliche Evolution ; swd. ;
10. Artificial evolution
پدیدآورنده : / eedited by J.K. Hao...(et al)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Evolution programming (Computer science)- Congresses,Genetic algorithms- Congresses
رده :
QA76
.
618
.
E988
1997
11. Artificial evolution : European conference, AE 95, Brest, France, September 4-6, 1995 : selected papers
پدیدآورنده : J.-M. Alliot ... )et al.(, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Evolutionary programming )Computer science(,Congresses ، Genetic algorithms
رده :
QA
76
.
L28
Vol
.
1063
12. Artificial evolution: 4th European Conference, AE'99, Dunkerque, France, November 3-5, 1999: selected papers
پدیدآورنده : Cyril Fonlupt...]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Evolutionary programming )Computer science(,Congresses ، Genetic algorithms
رده :
QA
76
.
618
.
E97
1999
13. Artificial evolution : 4th European conference, AE'99, Dunkerque, France, November 3-5, 1999 : selected papers
پدیدآورنده : Cyril Fonlupt...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Evolutionary programming )Computer science(,Congresses ، Genetic algorithms
رده :
QA
76
.
L28
Vol
.
1829
14. Artificial evolution : 5th International Conference, Evolution Artificielle, EA 2001, Le Creusot, France, October 29-31, 2001 : selected papers
پدیدآورنده : Pierre Collet...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Evolutionary programming )Computer science(,Congresses ، Genetic algorithms
رده :
QA
76
.
L28
Vol
.
2310
15. Artificial evolution : 6th International Conference, Evolution Artificielle, EA 2003, Marseilles, France, October 27-30, 2003 : revised selected papers
پدیدآورنده : Pierre Liardet...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Evolutionary programming )Computer science(,Congresses ، Genetic algorithms
رده :
QA
76
.
L28
Vol
.
2936
16. Artificial evolution : third European conference, AE'97, Nimes, France, October 22-24, 1997: selected papers
پدیدآورنده : J.-K. Hao...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Evolutionary programming )Computer science(,Congresses ، Genetic algorithms
رده :
QA
76
.
L28
Vol
.
1363
17. Automata, Languages, and Programming : 30th international colloquim , ICALP 2003, Eindhoven, The Netherlands, June 30th-July 4, 2003 : Proceedings
پدیدآورنده : Jos C.M. Baeten ... ]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
2719
18. Conditional and typed rewriting systems : 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13-15, 1994 : proceedings
پدیدآورنده : Nachum Dershowitz, Naomi Lindenstrauss )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
76
.
L28
Vol
.
968
19. Discrete algorithms and complexity : proceedings of the Japan-US joint Seminar, june 4-6, 1986, Kyoto, Japan
پدیدآورنده : edited by David S. Johnson...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer programming,Congresses ، Algorithms,Congresses ، Computational complexity
رده :
QA
76
.
6
.
J27
1987
20. Formal methods :
پدیدآورنده : Tiago Massoni, Mohammad Reza Mousavi (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
F67